Barbara Liskov: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press Addendum to the proceedings - Orlando, Florida, United States (1987.10.04-1987.10.08)] Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum) - OOPSLA '87 - Keynote address - data abstraction and hierarchy

Liskov, Barbara

Year:

1987

Language:

english

File:

PDF, 1.31 MB

english, 1987

2

[ACM Press the ACM SIGPLAN symposium - Santa Monica, California, United States (1974.03.28-1974.03.29)] Proceedings of the ACM SIGPLAN symposium on Very high level languages - - Programming with abstract data types

Liskov, Barbara, Zilles, Stephen

Year:

1974

Language:

english

File:

PDF, 942 KB

english, 1974

3

Practical uses of synchronized clocks in distributed systems

Journal:

Distributed Computing

Year:

1993

Language:

english

File:

PDF, 1.29 MB

english, 1993

4

Practical byzantine fault tolerance and proactive recovery

Castro, Miguel, Liskov, Barbara

Journal:

ACM Transactions on Computer Systems

Year:

2002

Language:

english

File:

PDF, 1.55 MB

english, 2002

5

Guardians and Actions: Linguistic Support for Robust, Distributed Programs

Liskov, Barbara, Scheifler, Robert

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1983

Language:

english

File:

PDF, 1.58 MB

english, 1983

6

The design of the Venus Operating System

Liskov, Barbara H.

Journal:

ACM SIGOPS Operating Systems Review

Year:

1972

File:

PDF, 28 KB

1972

7

Specifications of distributed programs

Barbara Liskov, William Weihl

Journal:

Distributed Computing

Year:

1986

Language:

english

File:

PDF, 1.72 MB

english, 1986

8

[ACM Press The second ACM SIGPLAN conference - Cambridge, Massachusetts, United States (1993.04.20-1993.04.23)] The second ACM SIGPLAN conference on History of programming languages - HOPL-II - A history of CLU

Liskov, Barbara

Year:

1993

File:

PDF, 1.60 MB

1993

9

Specification techniques for data abstractions

Liskov, Barbara, Zilles, Stephen

Journal:

ACM SIGPLAN Notices

Year:

1975

Language:

english

File:

PDF, 1.50 MB

english, 1975

10

Specification techniques for data abstractions

Liskov, Barbara H., Zilles, Stephen N.

Journal:

IEEE Transactions on Software Engineering

Year:

1975

Language:

english

File:

PDF, 1.29 MB

english, 1975

11

[ACM Press the seventh symposium - Pacific Grove, California, United States (1979.12.10-1979.12.12)] Proceedings of the seventh symposium on Operating systems principles - SOSP '79 - Primitives for distributed computing

Liskov, Barbara

Year:

1979

Language:

english

File:

PDF, 857 KB

english, 1979

12

Abstraction mechanisms in CLU

Liskov, Barbara, Snyder, Alan, Atkinson, Russell, Schaffert, Craig

Journal:

Communications of the ACM

Year:

1977

Language:

english

File:

PDF, 1.36 MB

english, 1977

13

The design of the Venus operating system

Liskov, Barbara H.

Journal:

Communications of the ACM

Year:

1972

Language:

english

File:

PDF, 3.82 MB

english, 1972

14

Replication in the harp file system

Liskov, Barbara, Ghemawat, Sanjay, Gruber, Robert, Johnson, Paul, Shrira, Liuba

Journal:

ACM SIGOPS Operating Systems Review

Year:

1991

Language:

english

File:

PDF, 1.52 MB

english, 1991

15

[ACM Press the 18th ACM SIGPLAN conference - Anaheim, California, USA (2003.10.26-2003.10.30)] Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03 - Lazy modular upgrades in persistent object stores

Boyapati, Chandrasekhar, Liskov, Barbara, Shrira, Liuba, Moh, Chuang-Hue, Richman, Steven

Year:

2003

Language:

english

File:

PDF, 297 KB

english, 2003

16

[ACM Press the 1995 ACM SIGMOD international conference - San Jose, California, United States (1995.05.22-1995.05.25)] Proceedings of the 1995 ACM SIGMOD international conference on Management of data - SIGMOD '95 - Efficient optimistic concurrency control using loosely synchronized clocks

Adya, Atul, Gruber, Robert, Liskov, Barbara, Maheshwari, Umesh

Year:

1995

Language:

english

File:

PDF, 1.32 MB

english, 1995

17

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Parameterized types for Java

Bank, Joseph A., Myers, Andrew C., Liskov, Barbara

Year:

1997

File:

PDF, 1.19 MB

1997

18

Tolerating byzantine faults in transaction processing systems using commit barrier scheduling

Vandiver, Ben, Balakrishnan, Hari, Liskov, Barbara, Madden, Sam

Journal:

ACM SIGOPS Operating Systems Review

Year:

2007

Language:

english

File:

PDF, 382 KB

english, 2007

19

Abstraction mechanisms in CLU

Liskov, Barbara, Snyder, Alan, Atkinson, Russell, Schaffert, Craig

Journal:

ACM SIGPLAN Notices

Year:

1977

Language:

english

File:

PDF, 38 KB

english, 1977

20

EpiChord: Parallelizing the Chord lookup algorithm with reactive routing state management

Ben Leong, Barbara Liskov, Erik D. Demaine

Journal:

Computer Communications

Year:

2006

Language:

english

File:

PDF, 1.30 MB

english, 2006

21

A technique for constructing highly available services

Rivka Ladin, Barbara Liskov, Liuba Shrira

Journal:

Year:

1988

Language:

english

File:

PDF, 1.64 MB

english, 1988

22

Collecting cyclic distributed garbage by controlled migration

Umesh Maheshwari, Barbara Liskov

Journal:

Distributed Computing

Year:

1997

Language:

english

File:

PDF, 284 KB

english, 1997

23

A behavioral notion of subtyping

Liskov, Barbara H., Wing, Jeannette M.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 1.96 MB

english, 1994

24

[ACM Press the Twenty-Fourth ACM Symposium - Farminton, Pennsylvania (2013.11.03-2013.11.06)] Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles - SOSP '13 - Speedy transactions in multicore in-memory databases

Tu, Stephen, Zheng, Wenting, Kohler, Eddie, Liskov, Barbara, Madden, Samuel

Year:

2013

Language:

english

File:

PDF, 424 KB

english, 2013

25

[IEEE 2007 IEEE International Conference on Network Protocols - Beijing, China (2007.10.16-2007.10.19)] 2007 IEEE International Conference on Network Protocols - Greedy Virtual Coordinates for Geographic Routing

Leong, Ben, Liskov, Barbara, Morris, Robert

Year:

2007

Language:

english

File:

PDF, 6.72 MB

english, 2007

26

A language extension for expressing constraints on data access

Jones, Anita K., Liskov, Barbara H.

Journal:

Communications of the ACM

Year:

1978

Language:

english

File:

PDF, 5.98 MB

english, 1978

27

Distributed programming in Argus

Liskov, Barbara

Journal:

Communications of the ACM

Year:

1988

Language:

english

File:

PDF, 7.43 MB

english, 1988

28

[ACM Press the 2012 ACM conference - Boston, Massachusetts, USA (2012.12.02-2012.12.06)] Proceedings of the 2012 ACM conference on High integrity language technology - HILT '12 - Keynote presentation

Liskov, Barbara

Year:

2012

Language:

english

File:

PDF, 338 KB

english, 2012

29

[ACM Press the twenty-third annual ACM symposium - St. John's, Newfoundland, Canada (2004.07.25-2004.07.28)] Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing - PODC '04 - Brief announcement

Rodrigues, Rodrigo, Liskov, Barbara

Year:

2004

Language:

english

File:

PDF, 41 KB

english, 2004

30

[ACM Press the thirteenth ACM symposium - Pacific Grove, California, United States (1991.10.13-1991.10.16)] Proceedings of the thirteenth ACM symposium on Operating systems principles - SOSP '91 - Replication in the harp file system

Liskov, Barbara, Ghemawat, Sanjay, Gruber, Robert, Johnson, Paul, Shrira, Liuba

Year:

1991

Language:

english

File:

PDF, 1.52 MB

english, 1991

31

Providing high availability using lazy replication

Ladin, Rivka, Liskov, Barbara, Shrira, Liuba, Ghemawat, Sanjay

Journal:

ACM Transactions on Computer Systems

Year:

1992

Language:

english

File:

PDF, 2.35 MB

english, 1992

32

Technical perspectiveSafeguarding online information against failures and attacks

Liskov, Barbara

Journal:

Communications of the ACM

Year:

2008

Language:

english

File:

PDF, 542 KB

english, 2008

33

[ACM Press twenty-first ACM SIGOPS symposium - Stevenson, Washington, USA (2007.10.14-2007.10.17)] Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles - SOSP '07 - Tolerating byzantine faults in transaction processing systems using commit barrier scheduling

Vandiver, Ben, Balakrishnan, Hari, Liskov, Barbara, Madden, Sam

Year:

2007

Language:

english

File:

PDF, 382 KB

english, 2007

34

References to remote mobile objects in Thor

Day, Mark, Liskov, Barbara, Maheshwari, Umesh, Myers, Andrew C.

Journal:

ACM Letters on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 862 KB

english, 1993

35

[ACM Press the sixteenth annual ACM symposium - Santa Barbara, California, United States (1997.08.21-1997.08.24)] Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 - Collecting distributed garbage cycles by back tracing

Maheshwari, Umesh, Liskov, Barbara

Year:

1997

Language:

english

File:

PDF, 1.16 MB

english, 1997

36

MPSS

Schultz, David, Liskov, Barbara, Liskov, Moses

Journal:

ACM Transactions on Information and System Security

Year:

2010

Language:

english

File:

PDF, 681 KB

english, 2010

37

A decentralized model for information flow control

Myers, Andrew C., Liskov, Barbara

Journal:

ACM SIGOPS Operating Systems Review

Year:

1997

Language:

english

File:

PDF, 2.14 MB

english, 1997

38

[ACM Press the sixteenth ACM symposium - Saint Malo, France (1997.10.05-1997.10.08)] Proceedings of the sixteenth ACM symposium on Operating systems principles - SOSP '97 - HAC

Castro, Miguel, Adya, Atul, Liskov, Barbara, Meyers, Andrew C.

Year:

1997

Language:

english

File:

PDF, 2.11 MB

english, 1997

39

Reliable object storage to support atomic actions

Oki, Brian M., Liskov, Barbara H., Scheifler, Robert W.

Journal:

ACM SIGOPS Operating Systems Review

Year:

1985

Language:

english

File:

PDF, 917 KB

english, 1985

40

[ACM Press an ACM conference - Raleigh, North Carolina (1977.03.28-1977.03.30)] Proceedings of an ACM conference on Language design for reliable software - - Abstraction mechanisms in CLU

Liskov, Barbara, Snyder, Alan, Atkinson, Russell, Schaffert, Craig

Year:

1977

Language:

english

File:

PDF, 38 KB

english, 1977

41

Specifications and their use in defining subtypes

Liskov, Barbara, Wing, Jeannette M.

Journal:

ACM SIGPLAN Notices

Year:

1993

Language:

english

File:

PDF, 1.45 MB

english, 1993

42

Partitioned garbage collection of a large object store

Maheshwari, Umesh, Liskov, Barbara

Journal:

ACM SIGMOD Record

Year:

1997

Language:

english

File:

PDF, 1.30 MB

english, 1997

43

Efficient optimistic concurrency control using loosely synchronized clocks

Adya, Atul, Gruber, Robert, Liskov, Barbara, Maheshwari, Umesh

Journal:

ACM SIGMOD Record

Year:

1995

Language:

english

File:

PDF, 1.32 MB

english, 1995

44

[ACM Press the 4th workshop - Bologna, Italy (1990.09.03-1990.09.05)] Proceedings of the 4th workshop on ACM SIGOPS European workshop - EW 4 - Lazy replication

Ladin, Rivka, Liskov, Barbara, Shrira, Liuba

Year:

1990

Language:

english

File:

PDF, 421 KB

english, 1990

45

[ACM Press the 11th workshop - Leuven, Belgium (2004.09.19-2004.09.22)] Proceedings of the 11th workshop on ACM SIGOPS European workshop: beyond the PC - EW11 - Transactional file systems can be fast

Liskov, Barbara, Rodrigues, Rodrigo

Year:

2004

Language:

english

File:

PDF, 92 KB

english, 2004

46

[ACM Press the eighth annual conference - Washington, D.C., United States (1993.09.26-1993.10.01)] Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '93 - Specifications and their use in defining subtypes

Liskov, Barbara, Wing, Jeannette M.

Year:

1993

Language:

english

File:

PDF, 1.45 MB

english, 1993

47

[ACM Press the tenth annual conference - Austin, Texas, United States (1995.10.15-1995.10.19)] Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '95 - Subtypes vs. where clauses

Day, Mark, Gruber, Robert, Liskov, Barbara, Myers, Andrew C.

Year:

1995

Language:

english

File:

PDF, 1.49 MB

english, 1995

48

[ACM Press the fifteenth ACM symposium - Copper Mountain, Colorado, United States (1995.12.03-1995.12.06)] Proceedings of the fifteenth ACM symposium on Operating systems principles - SOSP '95 - Using a modified object buffer to improve the write performance of an object-oriented database

Ghemawat, Sanjay, Kaashoek, M. Frans, Liskov, Barbara

Year:

1995

Language:

english

File:

PDF, 118 KB

english, 1995

49

[ACM Press the fourteenth annual ACM symposium - Ottowa, Ontario, Canada (1995.08.20-1995.08.23)] Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 - Collecting cyclic distributed garbage by controlled migration

Maheshwari, Umesh, Liskov, Barbara

Year:

1995

Language:

english

File:

PDF, 834 KB

english, 1995

50

[ACM Press the sixteenth ACM symposium - Saint Malo, France (1997.10.05-1997.10.08)] Proceedings of the sixteenth ACM symposium on Operating systems principles - SOSP '97 - A decentralized model for information flow control

Myers, Andrew C., Liskov, Barbara

Year:

1997

Language:

english

File:

PDF, 2.14 MB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски